Wyniki
-
Total correctness in nonstandard dynamic logic
Ildiko Sain
Bulletin of the Section of Logic , 12 /2 (1983) s. 64-70 -
On finitizing first order logic
Ildiko Sain
Bulletin of the Section of Logic , 23 /2 (1994) s. 66-79 -
Amalgamation, epimorphisms and definability properties in algebraic logic
Ildiko Sain
Bulletin of the Section of Logic , 18 /2 (1989) s. 72-78 -
Computer sciences temporal logics need their clocks
Ildiko Sain
Bulletin of the Section of Logic , 18 /4 (1989) s. 153-160